1641. Theoretical aspects of object-oriented programming : types, semantics, and language design
Author: edited by Carl A. Gunter and John C. Mitchell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
Classification :
QA
76
.
64
.
T4
1642. Theories of programming languages
Author: Reynolds, John C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
R495
1998
1643. Theories of programming languages
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ;
1644. Theories of programming languages
Author: / John C. Reynolds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)
Classification :
QA
,
76
.
7
,.
R495
,
1998
1645. Theory of computation
Author: Brainerd, Walter S
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
Classification :
QA
267
.
5
.
S4
B68
1646. Theory of computation
Author: / (by) Walter S. Brainerd (and) Lawrence H. Landweber
Library: Library of College of Science University of Tehran (Tehran)
Subject: Sequential machine theory,Recursive functions,Programming languages (Electronic computers)
Classification :
QA
267
.
5
.
S4
B68
1647. Theory of computation
Author: Brainerd, Walter S
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Sequential machine theory►Recursive functions►Programming languages (Electronic computers)
Classification :
267
.
5
.
S4
,
B68
1648. Thinking in LINQ :
Author: Sudipta Mukherjee
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Query languages (Computer science)
Classification :
QA76
.
7
1649. Thinking machines and the philosophy of computer science
Author: / [edited by] Jordi Vallverdu
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Philosophy,Computers -- Moral and ethical aspects,Artificial intelligence
Classification :
EBL
788
1650. Threaded interpretive languages: their desing and implementation
Author: Loeliger, R. G
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
Classification :
QA
76
.
7
.
L63
1651. Time- Shared computer languages: an introduction to conversational computing
Author: Schur, Lee David
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers) ► Electronic data processing
Classification :
001
S394t
1652. Time- Shared computer languages: an introduction to conversational computing
Author: Schur, Lee David
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers) ► Electronic data processing
Classification :
001
S394t
1653. Time-shared computer languages
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Time-sharing computer systems
Classification :
QA
76
.
7
.
S36
1654. Time-shared computer languages: an introduction to conversational computing
Author: Schur, Lee David.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Time-sharing computer systems
Classification :
QA
76
.
7
.
S36
1655. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
1656. Towards a formal description of Ada
Author: edited by D. Bjørner and O.N. Oest.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
E358
1980
1657. Transactions on pattern languages of programming II
Author: James Noble ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Software engineering,Software patterns
Classification :
QA76
.
76
.
P37
T73
2011
1658. Transactions on pattern languages of programming IV /
Author: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
Classification :
QA76
.
76
.
P37
1659. Transitioning to Swift /
Author: Scott Gardner
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
A65
1660. Translation of programming languages
Author: Jonas, Ronald William.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
J62
